'''
@Company: TWL
@Author: xue jian
@Email: xuejian@kanzhun.com
@Date: 2020-07-05 17:18:55
'''
'''
44. 通配符匹配
给定一个字符串 (s) 和一个字符模式 (p) ，实现一个支持 '?' 和 '*' 的通配符匹配。

'?' 可以匹配任何单个字符。
'*' 可以匹配任意字符串（包括空字符串）。
两个字符串完全匹配才算匹配成功。

说明:

s 可能为空，且只包含从 a-z 的小写字母。
p 可能为空，且只包含从 a-z 的小写字母，以及字符 ? 和 *。
示例 1:

输入:
s = "aa"
p = "a"
输出: false
解释: "a" 无法匹配 "aa" 整个字符串。
示例 2:

输入:
s = "aa"
p = "*"
输出: true
解释: '*' 可以匹配任意字符串。
示例 3:

输入:
s = "cb"
p = "?a"
输出: false
解释: '?' 可以匹配 'c', 但第二个 'a' 无法匹配 'b'。
示例 4:

输入:
s = "adceb"
p = "*a*b"
输出: true
解释: 第一个 '*' 可以匹配空字符串, 第二个 '*' 可以匹配字符串 "dce".
示例 5:

输入:
s = "acdcb"
p = "a*c?b"
输出: false
'''
'''
tips:首先是边界考量，其次是状态回缩。这是完全背包似的问题

dp[i+1][j+1]表示s[:i+1], p[:j+1]是否匹配。这样有转移方程
if p[j] == '?':
    dp[i+1][j+1] = dp[i][j]
elif p[j] == '*':
    dp[i+1][j+1] = |_{k=0}^{i+1}dp[k][j] #原因是*通配，只要是p[:j]已经与之前匹配了，那么之后就都能匹配，所以用或
                 = |_{k=0}&{i}dp[k][j]|dp[i+1][j]
                 = dp[i][j+1]|dp[i+1][j] #这里由定义式得到。需要一部推到。
else:
    dp[i+1][j+1] = dp[i][j] & p[j]==s[i]

'''

class Solution:
    def isMatch(self, s: str, p: str) -> bool:
        dp = [[False]*(len(p)+1) for _ in s + ' ']
        dp[0][0]=True
        if len(s)==0:
            if p.count('*')!= len(p):
                # print(p.count('*'), len(p))
                return False
            else:
                return True
        for j, u in enumerate(p):
            for i, v in enumerate(s):
                if u == '*':
                    if p[:j+1].count('*') == j+1:
                        dp[0][j+1] = True
                    # for k in range(i+2):
                    dp[i+1][j+1] = dp[i+1][j] or dp[i][j+1]
                elif u == '?':
                    dp[i+1][j+1] = dp[i][j]
                else:
                    dp[i+1][j+1] = dp[i][j] and (u==v)
        # print(dp)
        return dp[-1][-1]
if __name__ == "__main__":
    solution = Solution()
    s = 'adceb'
    p = '*a*b'
    print(solution.isMatch(s, p))